Free Rota-Baxter algebras and rooted trees

A Rota-Baxter algebra, also known as a Baxter algebra, is an algebra with a linear operator satisfying a relation, called the Rota-Baxter relation, that generalizes the integration by parts formula. Most of the studies on Rota-Baxter algebras have been for commutative algebras. Two constructions of free commutative Rota-Baxter algebras were obtained by Rota and Cartier in the 1970s and a third one by Keigher and one of the authors in the 1990s in terms of mixable shuffles. Recently, noncommutative Rota-Baxter algebras have appeared both in physics in connection with the work of Connes and Kreimer on renormalization in perturbative quantum field theory, and in mathematics related to the work of Loday and Ronco on dendriform dialgebras and trialgebras. This paper uses rooted trees and forests to give explicit constructions of free noncommutative Rota--Baxter algebras on modules and sets. This highlights the combinatorial nature of Rota--Baxter algebras and facilitates their further study. As an application, we obtain the unitarization of Rota-Baxter algebras.Comment: 23 page

Rota-Baxter algebras and new combinatorial identities

The word problem for an arbitrary associative Rota-Baxter algebra is solved. This leads to a noncommutative generalization of the classical Spitzer identities. Links to other combinatorial aspects, particularly of interest in physics, are indicated.Comment: 8 pages, improved versio

Quantum Analogy of Poisson Geometry, Related Dendriform Algebras and Rota-Baxter Operators

We will introduce an associative (or quantum) version of Poisson structure tensors. This object is defined as an operator satisfying a "generalized" Rota-Baxter identity of weight zero. Such operators are called generalized Rota-Baxter operators. We will show that generalized Rota-Baxter operators are characterized by a cocycle condition so that Poisson structures are so. By analogy with twisted Poisson structures, we propose a new operator "twisted Rota-Baxter operators" which is a natural generalization of generalized Rota-Baxter operators. It is known that classical Rota-Baxter operators are closely related with dendriform algebras. We will show that twisted Rota-Baxter operators induce NS-algebras which is a twisted version of dendriform algebra. The twisted Poisson condition is considered as a Maurer-Cartan equation up to homotopy. We will show the twisted Rota-Baxter condition also is so. And we will study a Poisson-geometric reason, how the twisted Rota-Baxter condition arises.Comment: 18 pages. Final versio

Time-ordering and a generalized Magnus expansion

Both the classical time-ordering and the Magnus expansion are well-known in the context of linear initial value problems. Motivated by the noncommutativity between time-ordering and time derivation, and related problems raised recently in statistical physics, we introduce a generalization of the Magnus expansion. Whereas the classical expansion computes the logarithm of the evolution operator of a linear differential equation, our generalization addresses the same problem, including however directly a non-trivial initial condition. As a by-product we recover a variant of the time ordering operation, known as T*-ordering. Eventually, placing our results in the general context of Rota-Baxter algebras permits us to present them in a more natural algebraic setting. It encompasses, for example, the case where one considers linear difference equations instead of linear differential equations

Generalized shuffles related to Nijenhuis and TD-algebras

Shuffle and quasi-shuffle products are well-known in the mathematics literature. They are intimately related to Loday's dendriform algebras, and were extensively used to give explicit constructions of free commutative Rota-Baxter algebras. In the literature there exist at least two other Rota-Baxter type algebras, namely, the Nijenhuis algebra and the so-called TD-algebra. The explicit construction of the free unital commutative Nijenhuis algebra uses a modified quasi-shuffle product, called the right-shift shuffle. We show that another modification of the quasi-shuffle product, the so-called left-shift shuffle, can be used to give an explicit construction of the free unital commutative TD-algebra. We explore some basic properties of TD-operators and show that the free unital commutative Nijenhuis algebra is a TD-algebra. We relate our construction to Loday's unital commutative dendriform trialgebras, including the involutive case. The concept of Rota-Baxter, Nijenhuis and TD-bialgebras is introduced at the end and we show that any commutative bialgebra provides such objects.Comment: 20 pages, typos corrected, accepted for publication in Communications in Algebr

Renormalization: a quasi-shuffle approach

In recent years, the usual BPHZ algorithm for renormalization in perturbative quantum field theory has been interpreted, after dimensional regularization, as a Birkhoff decomposition of characters on the Hopf algebra of Feynman graphs, with values in a Rota-Baxter algebra of amplitudes. We associate in this paper to any such algebra a universal semi-group (different in nature from the Connes-Marcolli "cosmical Galois group"). Its action on the physical amplitudes associated to Feynman graphs produces the expected operations: Bogoliubov's preparation map, extraction of divergences, renormalization. In this process a key role is played by commutative and noncommutative quasi-shuffle bialgebras whose universal properties are instrumental in encoding the renormalization process

Exponential renormalization

Moving beyond the classical additive and multiplicative approaches, we present an "exponential" method for perturbative renormalization. Using Dyson's identity for Green's functions as well as the link between the Faa di Bruno Hopf algebra and the Hopf algebras of Feynman graphs, its relation to the composition of formal power series is analyzed. Eventually, we argue that the new method has several attractive features and encompasses the BPHZ method. The latter can be seen as a special case of the new procedure for renormalization scheme maps with the Rota-Baxter property. To our best knowledge, although very natural from group-theoretical and physical points of view, several ideas introduced in the present paper seem to be new (besides the exponential method, let us mention the notions of counterfactors and of order n bare coupling constants).Comment: revised version; accepted for publication in Annales Henri Poincar

Mixable Shuffles, Quasi-shuffles and Hopf Algebras

The quasi-shuffle product and mixable shuffle product are both generalizations of the shuffle product and have both been studied quite extensively recently. We relate these two generalizations and realize quasi-shuffle product algebras as subalgebras of mixable shuffle product algebras. As an application, we obtain Hopf algebra structures in free Rota-Baxter algebras.Comment: 14 pages, no figure, references update

Birkhoff type decompositions and the Baker-Campbell-Hausdorff recursion

We describe a unification of several apparently unrelated factorizations arisen from quantum field theory, vertex operator algebras, combinatorics and numerical methods in differential equations. The unification is given by a Birkhoff type decomposition that was obtained from the Baker-Campbell-Hausdorff formula in our study of the Hopf algebra approach of Connes and Kreimer to renormalization in perturbative quantum field theory. There we showed that the Birkhoff decomposition of Connes and Kreimer can be obtained from a certain Baker-Campbell-Hausdorff recursion formula in the presence of a Rota-Baxter operator. We will explain how the same decomposition generalizes the factorization of formal exponentials and uniformization for Lie algebras that arose in vertex operator algebra and conformal field theory, and the even-odd decomposition of combinatorial Hopf algebra characters as well as to the Lie algebra polar decomposition as used in the context of the approximation of matrix exponentials in ordinary differential equations.Comment: accepted for publication in Comm. in Math. Phy